A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes

International audience<p>To increase the performance of embedded devices, the cur- rent trend is to shift from serial to parallel and distributed computing with simultaneous instructions execution. The performance increase of parallel computing wouldn’t be possible without efficient transfers of data and control information via complex communication architectures. In UML/SysML/MARTE, different solutions exist to describe and map computations onto parallel and distributed systems. However, these lan- guages lack expressiveness to clearly separate computation models from communication ones, thus strongly impacting models’ portability, espe- cially when performing Design Space Exploration. As a solution to this issue, we present Communication Patterns, a novel UML modeling arti- fact and model-driven approach to assist system engineers in efficiently modeling and mapping communications for parallel and distributed sys- tem architectures. We illustrate the effectiveness of our approach with the design of a parallel signal processing algorithm mapped to a multi- processor platform with a hierarchical bus-based interconnect.</p

Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems

International audienc

La tuberculose à Mycobacterium bovis en Afrique subsaharienne

peer reviewe

Multi-threaded code generation from Signal program to OpenMP

International audienceThe use of multi-core processors will become a trend in safety critical systems. For safe execution of multithreaded code, automatic code generation from formal specification is a desirable method. Signal, a synchronous language dedicated for the functional description of safety critical systems, provides soundness semantics for deterministic concurrency. Although sequential code generation of Signal has been implemented in Polychrony compiler, deterministic multi-threaded code generation strategy is still far from mature. Moreover, existing code generation methods use certain multi-thread library, which limits the cross platform executions. OpenMP is an application program interface (API) standard for parallel programming, supported by several mainstream compilers from different platforms. This paper presents a methodology translating Signal program to OpenMP-based multi-threaded C code. First, the intermediate representation of the core syntax of Signal using synchronous guarded actions is defined. Then, according to the compositional semantics of Signal equations, the Signal program is synthesized to dependency graph (DG). After parallel tasks are extracted from dependency graph, the Signal program can be finally translated into OpenMP-based C code which can be executed on multiple platforms